Nuprl Definition : cr-output
11,40
postcript
pdf
Output == (
Sys
(valid)|tail-dcdr{i:l}(
es
;
Config
))
latex
clarification:
cr-output{i:l}
cr-output
(
es
;
Cmd
;
Sys
;
Config
)
== (sys-valid{i:l}
== (sys-valid
(
es
;
Config
;
Cmd
;
Sys
)|tail-dcdr{i:l}
== (sys-valid(
es
;
Config
;
Cmd
;
Sys
)|tail-dcdr
(
es
;
Config
))
latex
Definitions
(
I
|
p
)
,
Sys
(valid)
,
tail-dcdr{i:l}(
es
;
Config
)
FDL editor aliases
cr-output
origin